Stephan Kaufmann's Documents

Stephan Kaufmann's Documents

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Read more
Immunology of Infection, Volume 32, Second Edition (Methods in Microbiology)

Immunology of Infection, Volume 32, Second Edition (Methods in Microbiology)
Read more
The Complete Idiot's Guide to Learning German

The Complete Idiot's Guide to Learning German
Read more
Contemporary Accelerator Physics

Contemporary Accelerator Physics
Read more
Heat and Mass Transport

Heat and Mass Transport
Read more
Preparing School Leaders for the 21st Century: An International Comparison of Development Programs in 15 Countries (Contexts of Learning)

Preparing School Leaders for the 21st Century: An International Comparison of Development Programs in 15 Countries (Contexts of Learning)
Read more
Politikberatung - Ein Handbuch

Politikberatung - Ein Handbuch
Read more
Lineare Optimierung: Modell, Losung, Anwendung

Lineare Optimierung: Modell, Losung, Anwendung
Read more
Against Intellectual Property

Against Intellectual Property
Read more
Hungarian Aces of World War 2

Hungarian Aces of World War 2
Read more
Brands That Rock What Business Leaders Can Learn from the World of Rock and Roll

Brands That Rock What Business Leaders Can Learn from the World of Rock and Roll
Read more
Electron transfer reactions: inorganic, organometallic, and biological applications

Electron transfer reactions: inorganic, organometallic, and biological applications
Read more
Growth Theory and Growth Policy

Growth Theory and Growth Policy
Read more
Wideband Beamforming: Concepts and Techniques (Wireless Communications and Mobile Computing)

Wideband Beamforming: Concepts and Techniques (Wireless Communications and Mobile Computing)
Read more
Vereinfachte Wertanalyse: MIT Formularen Und CD-Rom (VDI-Buch)

Vereinfachte Wertanalyse: MIT Formularen Und CD-Rom (VDI-Buch)
Read more
The Multilaterization of International Investment Law (Cambridge International Trade and Economic Law)

The Multilaterization of International Investment Law (Cambridge International Trade and Economic Law)
Read more
Batman und andere himmlische Kreaturen - Nochmal 30 Filmcharaktere und ihre psychischen Storungen

Batman und andere himmlische Kreaturen - Nochmal 30 Filmcharaktere und ihre psychischen Storungen
Read more
Linguistic Evidence: Empirical, Theoretical and Computational Perspectives (Studies in Generative Grammar)

Linguistic Evidence: Empirical, Theoretical and Computational Perspectives (Studies in Generative Grammar)
Read more
Sorry, wir haben die Landebahn verfehlt

Sorry, wir haben die Landebahn verfehlt
Read more
Modeling and Verification of Real-time Systems

Modeling and Verification of Real-time Systems
Read more
An Anthropological Analysis of Chinese Geomancy

An Anthropological Analysis of Chinese Geomancy
Read more
Meditation For Dummies (Book and CD edition)

Meditation For Dummies (Book and CD edition)
Read more
Advances in Aerospace Guidance, Navigation and Control: Selected Papers of the 1st CEAS Specialist Conference on Guidance, Navigation and Control

Advances in Aerospace Guidance, Navigation and Control: Selected Papers of the 1st CEAS Specialist Conference on Guidance, Navigation and Control
Read more
Transformations of the State?

Transformations of the State?
Read more
Unleashing Web 2.0: From Concepts to Creativity

Unleashing Web 2.0: From Concepts to Creativity
Read more
Anleitung zum Männlichsein

Anleitung zum Männlichsein
Read more
Financial Statement Analysis and Security Valuation 4ed

Financial Statement Analysis and Security Valuation 4ed
Read more
Civilian Jihad: Nonviolent Struggle, Democratization, and Governance in the Middle East

Civilian Jihad: Nonviolent Struggle, Democratization, and Governance in the Middle East
Read more
Integer and mixed programming: Theory and applications

Integer and mixed programming: Theory and applications
Read more
Beyond Good and Evil (Prelude to a Philosophy of the Future)

Beyond Good and Evil (Prelude to a Philosophy of the Future)
Read more